سیستم های کنترل نظارتی و اکتساب داده (اسکادا) سیستم های الکترونیکی هستند که جهت کنترل و مانیتور کردن تجهیزات در صنایع و زیرساخت های بزرگ مورد استفاده قرار می گیرند. استفاده از سیستم های کامپیوتری و اتصالات شبکه در سیستم های اسکادا جهت کنترل بخش های مختلف سیستم از راه دور، این سیستم ها را در برابر تهدیدات سایبری آسیب پذیر نموده است. با توجه به نقش حیاتی سیستم های اسکادا در زیرساخت های بحرانی مان...

ضمانت امنیتی سیستمهای اطلاعاتی از جوانب ضروری و بسیار مهم در توسعه سیستمهای امن می باشد. روشها و تکنیکهای ارزیابی و ضمانت امنیتی متعددی، بصورت استاندارد و یا مورد پذیرش عموم پدیدار گشته که عموما مبتنی بر ارزیابی نرم افزار بصورت یک محصول و بر پایه مستندات می باشند. روشهای غیر خطی توسعه نرم افزار که امروزه جایگاه مهمی در عرصه مهندسی نرم افزار به خود تخصیص داده اند. به علت ساختار و روند توسعه متفا...

هدف اصلی مهندسی نرم افزار تولید سیستم با کیفیت است. اولین مرحله ای که کیفیت با ویژگی های کیفی در آن مورد توجه قرار می گیرد. مرحله تولید معماری نرم افزار سیستم می باشد. در این مرحله، نیازهای کیفی و تاکتیک های بر آورده کننده آنها مدل شده و مورد ارزیابی قرار می گیرند. هدف این پایان نامه ارائه رویکردی جدید برای حل مسئله مدلسازی ویژگی های کیفی در معمای نرم افزار می باشد. برای ارائه این رویکرد بر پای...

امروزه اطمینان از امنیت برنامه های کاربردی مبتنی بر وب مسأله ای اساسی برای تولیدکنندگان و همچنین مشتریان این برنامه ها است. سازمان های زیادی وجود دارند که برنامه های مبتنی بر وب را مورد ارزیابی امنیتی قرار داده و در صورت ایمن بودن به آنها گواهینامه ی امنیتی می دهند. در این مقاله چارچوبی ارائه شده است که تنها به تأیید ایمن بودن برنامه بسنده نمی کند، بلکه میزان ایمن بودن برنامه را با انتساب نمره ...

چکیده ندارد.

اگر چه امنیت در توسعه سیستمهای پیچیده نرم افزاری و بخصوص سیستمهای چند عامله موضوع بسیار مهمی به شمار می رود ولی در زمینه افزودن امنیت به متدولوژی های مهندسی نرم افزار عاملگرا تا کنون کار چندانی صورت نگرفته است. این مقاله به متدولوژی prometheus تقابلیتی را می افزاید تا بتواند موضوع امنیت را در فازهای مختلف توسعه نرم افزارهای عاملگرا مد نظر قرار دهد. بدین منظور ابتدا مفاهیم امنیتی مورد نیاز تعریف...